Skip to content

feat(ErdosProblems): 884#2405

Closed
Robertboy18 wants to merge 1 commit intogoogle-deepmind:mainfrom
Robertboy18:issue-1001-erdos884
Closed

feat(ErdosProblems): 884#2405
Robertboy18 wants to merge 1 commit intogoogle-deepmind:mainfrom
Robertboy18:issue-1001-erdos884

Conversation

@Robertboy18
Copy link

Added Erdős Problem 884: It is on comparing the full pairwise divisor-gap reciprocal sum to the consecutive-gap sum (using Nat.divisors + sorting)! Let me know if you have any questions!

@github-actions github-actions bot added the erdos-problems Erdős Problems label Feb 26, 2026
@Smetalo
Copy link
Contributor

Smetalo commented Feb 26, 2026

what about #1248?

@Robertboy18
Copy link
Author

Oh my bad I completely missed it! Thanks: ) I will close this. I was trying to find some easy problems to formalize and saw this one.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

erdos-problems Erdős Problems

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants